programming, tool compiler which attempts to analyse the

code it produces and to produce more efficient code by

performing program transformation such as branchelimination, partial evaluation, or peep-holeoptimisation.